منابع مشابه
Computability of invariant measures: two counter-examples
We are interested in the computability of the invariant measures in a computable dynamical system. We construct two counter-examples. The first one has a unique SRB measure, which is not computable. The second one has no computable invariant measure at all. The systems are topological, i.e. continuous transformations on compact spaces, so they admit invariant measures. A topological dynamical s...
متن کاملProof-Like Counter-Examples
Counter-examples explain why a desired temporal logic property fails to hold, and as such considered to be the most useful form of output from modelcheckers. Reported explanations are typically short and described in terms of states and transitions of the model; as a result, they can be effectively used for debugging. However, counter-examples are not available for every CTL property and are of...
متن کاملStrategies to Make Counter-examples While Comparing Two Groups
In this paper, we aim at analyzing how pre-service and in-service mathematics teachers make a judgment about comparing two groups which requires several important concepts. The research questions include: (1) Which concepts are applied to make a judgment about comparing two groups? (2) How are the counter-examples made? In our study, teachers were asked to make a judgment about comparing two gr...
متن کاملCounter-examples to the correlated stability conjecture
We demonstrate explicit counter-examples to the Correlated Stability Conjecture (CSC), which claims that the horizon of a black brane is unstable precisely if that horizon has a thermodynamic instability, meaning that its matrix of susceptibilities has a negative eigenvalue. These examples involve phase transitions near the horizon. Ways to restrict or revise the CSC are suggested. One of our e...
متن کاملFinding Counter Examples in Induction Proofs
This paper addresses a problem arising in automated proof of invariants of transition systems, for example transition systems modelling distributed programs. Most of the time, the actual properties we want to prove are too weak to hold inductively, and auxiliary invariants need to be introduced. The problem is how to find these extra invariants. We propose a method where we find minimal counter...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 1994
ISSN: 0022-247X
DOI: 10.1006/jmaa.1994.1456